| Module | Title | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|---|
| Advanced Topics in Logic | Advanced Topics in Logic | Fach-/Modulprüfung | 6 | 589359 | ||
| Advanced Topics in Logic | Übung | 588003 | Mi 16:30-18:00 AH III (2350|314.1) (×15) | |||
| Advanced Topics in Logic | Vorlesung | 588001 | Mo 10:30-12:00 AH II (2350|111) (×15) Do 16:30-18:00 AH II (2350|111) (×15) | |||
| Algorithmic Foundations of Datascience | Algorithmic Foundations of Datascience | Fach-/Modulprüfung | 6 | 585082 | ||
| Algorithmic Foundations of Data Science | Übung | 579319 | Mi 12:30-14:00 AH I (2350|028) (×15) | |||
| Algorithmic Foundations of Data Science | Vorlesung | 579330 | Di 16:30-18:00 AH I (2350|028) (×15) Do 14:30-16:00 AH I (2350|028) (×15) | |||
| Algorithmic Model Theory I | Algorithmische Modelltheorie | Fach-/Modulprüfung | 9 | 582183 | ||
| Compiler Construction | Compilerbau | Fach-/Modulprüfung | 6 | 582126 | ||
| Cryptography | Cryptography | Fach-/Modulprüfung | 6 | 589362 | Di 16.02.2027 14:00-15:30 ZuseLab C1 (2315|107) ZuseLab C3 (2315|211) ZuseLab C4 (2315|201) Di 23.03.2027 09:00-10:30 ZuseLab C1 (2315|107) ZuseLab C3 (2315|211) | |
| Cryptography | Vorlesung/Übung | 589361 | Mi 14:30-16:00 AH III (2350|314.1) (×15) Do 10:30-12:00 AH III (2350|314.1) (×15) Fr 14:30-16:00 H06 (1385|004) (×15) | |||
| Dynamical Processes on Networks | Dynamical Processes on Networks | Fach-/Modulprüfung | 6 | 583294 | ||
| Dynamical Processes On Networks (Übungen) | Übung | 587452 | Do 10:30-12:00 OC Hörsaal (2030|015) (×15) | |||
| Dynamical Processes on Networks | Vorlesung | 587451 | Mo 12:30-14:00 AH VI (2356|051) (×14) Di 16:30-18:00 AH VI (2356|051) (×13) | |||
| Efficient Algorithms | Effiziente Algorithmen | Fach-/Modulprüfung | 6 | 581823 | ||
| Foundations of Learning on Graphs | Foundations of Learning on Graphs | Fach-/Modulprüfung | 6 | 584410 | Mi 03.03.2027 09:00-11:00 HKW 1 (1132|203) Do 01.04.2027 09:00-11:00 AH VI (2356|051) | |
| Foundations of Learning on Graphs | Vorlesung/Übung | 579973 | Mo 10:30-12:00 MS (1220|009) (×15) Mi 08:30-10:00 AH I (2350|028) (×15) | |||
| Introduction to Algorithmic Differentiation | Einführung in Computational Differentiation | Fach-/Modulprüfung | 6 | 585081 | Fr 26.02.2027 14:30-16:30 Großer Hörsaal AM (1420|210) TEMP1 (1515|001) Do 25.03.2027 16:30-18:30 Großer Hörsaal AM (1420|210) | |
| Einführung in Algorithmisches Differenzieren | Vorlesung/Übung | 577583 | Mo 14:30-16:00 AH III (2350|314.1) (×15) Mi 12:30-14:00 AH III (2350|314.1) (×15) Do 08:30-10:00 MetP11 (2181|102) (×15) | |||
| Linear Optimization and Network Algorithms | Prüfung Lineare Optimierung und Netzwerkalgorithmen | Fach-/Modulprüfung | 9 | 583412 | ||
| Lineare Optimierung und Netzwerkalgorithmen | Übung | 579682 | Mi 08:30-10:00 R 140 (1080|140) (×15) Fr 12:30-14:00 Otto Fuchs-Hörsaal (H03) (1385|003) (×2) | |||
| Lineare Optimierung und Netzwerkalgorithmen | Vorlesung | 580046 | Mo 08:30-10:00 III (1010|107) (×15) Fr 12:30-14:00 V (1010|213) (×15) | |||
| Mathematical Logic II | Mathematische Logik II | Fach-/Modulprüfung | 6 | 582180 | ||
| Model Checking | Model Checking | Fach-/Modulprüfung | 6 | 585086 | ||
| Introduction to Model Checking | Übung | 577398 | Fr 12:30-14:00 AH I (2350|028) (×15) | |||
| Introduction to Model Checking | Vorlesung | 578334 | Mi 14:30-16:00 AH I (2350|028) (×15) Do 16:30-18:00 AH I (2350|028) (×15) | |||
| Module Complexity Theory | Komplexitätstheorie | Fach-/Modulprüfung | 6 | 582407 | ||
| Satisfiability Checking | Erfüllbarkeitsüberprüfung | Fach-/Modulprüfung | 6 | 582368 | ||
| Erfüllbarkeitsüberprüfung | Vorlesung/Übung | 578303 | Mo 10:30-12:00 AH V (2356|050) (×15) Mi 14:30-16:00 AH V (2356|050) (×15) Fr 14:30-15:15 5056 (2356|056) (×15) |